<!DOCTYPE html>
<!--
     SPDX-License-Identifier: CC-BY-SA-4.0
     SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
<!-- Page last generated 2025-02-20 03:16:15 +0000 -->
<html lang="en">
  <head>
    <meta charset="utf-8">
    <meta http-equiv="X-UA-Compatible" content="IE=edge">
    <meta name="viewport" content="width=device-width, initial-scale=1">
    <title>Available userlevel components | seL4 docs</title>

    <!-- Our stylesheet and theme stylesheet.  Contains bootstrap. -->
    <link rel="stylesheet" href="/assets/css/style.css" type="text/css">
    <!-- Font awesome -->
    <link href="https://use.fontawesome.com/releases/v5.0.8/css/all.css" rel="stylesheet">
    <link href="https://fonts.googleapis.com/css2?family=Roboto&display=swap" rel="stylesheet">
    <!-- Pygments syntax highlighting  -->
    <link rel="stylesheet" href="/assets/css/highlighting/trac.css" type="text/css">
    <link rel="icon" type="image/x-icon" href="/assets/favicon.ico"><script defer data-domain="docs.sel4.systems"
	    src="https://analytics.sel4.systems/js/script.js"></script></head>

  <body class="container-fluid">

    



<header>
  <ul class="row menu">
    <li class="col-xs-12 col-md-2" >
            <a href="https://sel4.systems" class="skip-icon">
              <img class="img-responsive" src="/assets/logo-text-white.svg" alt="seL4 logo" />
            </a>
    </li>
    <li class="col-xs-12 col-md-10 menu">
      <nav aria-label="Banner links">
        <h2><a href="/Resources" />Resources</h2>
        <h2><a href="/processes" />Contributing</a></h2>
        <h2><a href="/projects" />Projects</h2>
        <h2><a href="/Tutorials" />Tutorials</h2>
        <iframe title="DuckDuckGo search bar" src="https://duckduckgo.com/search.html?site=docs.sel4.systems&prefill=Search%20sel4.systems" style="overflow:hidden;margin-bottom:10px; padding:0;height:40px;float:right;border-width: 0px"></iframe>
      </nav>
    </li>
  </ul>
  <div class="clear"></div>
  
<div class="breadcrumbs bootstrap hidden-sm-down">
  <nav class="sel-breadcrumb" aria-label="Breadcrumb" >
    <ol class=" list-unstyled" vocab="http://schema.org/" typeof="BreadcrumbList">
      
      
        

        

        <li class="breadcrumb-item" property="itemListElement" typeof="ListItem">
            <a property="item" typeof="WebPage" href="/">
              <span property="name"><b>seL4 Docs</b></span>
            </a>
            <meta property="position" content="1" />
        </li>
      
        

        

        <li class="breadcrumb-item" property="itemListElement" typeof="ListItem">
            <a property="item" typeof="WebPage" href="/projects/">
              <span property="name"><b>Projects</b></span>
            </a>
            <meta property="position" content="2" />
        </li>
      
        

        
          <li class="breadcrumb-item" property="itemListElement" typeof="ListItem">
            <span property="name">Available userlevel components</span>
            <meta property="position" content="3" /></li>
          
    </ol>
  </nav>
  <nav class="sel-version" aria-label="Current Versions">
    <ol class="list-unstyled">
      <li class="list-unstyled text-right" style="margin-left:auto; padding:0rem 0rem;">
        Current versions:</li>
      <li class="list-unstyled text-right">
      <a href="/releases/sel4/13.0.0"><b>seL4-13.0.0</b></a></li>
      <li class="list-unstyled text-right">
      <a href="/releases/microkit/1.4.1"><b>microkit-1.4.1</b></a></li>
      <li class="list-unstyled text-right">
      <a href="/releases/camkes/camkes-3.11.0"><b>camkes-3.11.0</b></a></li>
      <li class="list-unstyled text-right">
      <a href="/releases/capdl/0.3.0"><b>capDL-0.3.0</b></a></li>
      </ol>
  </nav>
  <div class='clear'></div>
</div>


</header>

    <main>
      <div class="row">
  <div class="hidden-xs col-sm-4 col-md-3 col-lg-2">
    


<div class="sidebar">



      <ul class="nav nav-sidebar">
  
        <li class="">
          <a class="" href="/Resources.html">
            Resources
          </a>
        </li>
  
        <li class="">
          <a class="" href="/projects/sel4/documentation.html">
            seL4 Documentation
          </a>
        </li>
  
        <li class="">
          <a class="" href="/projects/sel4/frequently-asked-questions.html">
            seL4 FAQ
          </a>
        </li>
  
        <li class="">
          <a class="" href="/projects/buildsystem/host-dependencies.html">
            Set up your machine
          </a>
        </li>
  
        <li class="">
          <a class="" href="/Hardware/">
            Supported platforms
          </a>
        </li>
  
        <li class="active">
          <a class="" href="/projects/available-user-components.html">
            Available components
          </a>
        </li>
  
        <li class="">
          <a class="" href="/projects/roadmap.html">
            Roadmap
          </a>
        </li>
  
        <li class="">
          <a class="" href="/CommunityProjects.html">
            Community projects
          </a>
        </li>
  
        <li class="">
          <a class="" href="/releases/sel4">
            Release Notes
          </a>
        </li>
  
        <li class="">
          <a class="" href="/projects/sel4/api-doc.html">
            libsel4 API
          </a>
        </li>
  
        <li class="">
          <a class="" href="https://sel4.systems/Info/Docs/seL4-manual-latest.pdf">
            Current Manual
          </a>
        </li>
  
        <li class="">
          <a class="" href="/projects/sel4/verified-configurations.html">
            Verified Configurations
          </a>
        </li>
  
      </ul>














</div>

  </div>
  <div class="api content col-sm-8 col-md-6 col-lg-7 main">
    <h1 id="available-userlevel-components">Available userlevel components</h1>

<p>This page serves as an index of components that are available across all projects.</p>

<h2 id="native-component-libraries">Native component libraries</h2>

<table>
    <thead>
        <tr>
            <th>Components</th>
            <th>Description</th>
            <th>Status</th>
            <th>Maintained by</th>
        </tr>
    </thead>
    <tbody>
        <tr>
            <td>libcpio</td>
            <td>A library for parsing files in CPIO format.</td>
            <td>active</td>
            <td>seL4 Foundation</td>
        </tr>
        <tr>
            <td>libelf</td>
            <td>A library for reading ELF files.</td>
            <td>active</td>
            <td>seL4 Foundation</td>
        </tr>
        <tr>
            <td>libethdrivers</td>
            <td>A library for ethernet drivers on selected platforms, supporting lwIP and picoTCP.</td>
            <td>active</td>
            <td>seL4 Foundation</td>
        </tr>
        <tr>
            <td>libfdt</td>
            <td>A library for flat device tree manipulation, ported from linux kernel version: 5.0.6.</td>
            <td>inactive</td>
            <td>seL4 Foundation</td>
        </tr>
        <tr>
            <td>liblwip</td>
            <td>A library for the lwIP, ported from lwip-1.4.1.</td>
            <td>inactive</td>
            <td>seL4 Foundation</td>
        </tr>
        <tr>
            <td>libpci</td>
            <td>A library for PCI drivers.</td>
            <td>active</td>
            <td>seL4 Foundation</td>
        </tr>
        <tr>
            <td>libpicotcp</td>
            <td>A library of picoTCP header files.</td>
            <td>active</td>
            <td>seL4 Foundation</td>
        </tr>
        <tr>
            <td>libplatsupport</td>
            <td>A library of platform support utilities, interfaces for interacting with drivers, timer drivers, serial drivers and clock drivers.</td>
            <td>active</td>
            <td>seL4 Foundation</td>
        </tr>
        <tr>
            <td>libutils</td>
            <td>A library of generic utilities, such as debugging macros and compile time asserts.</td>
            <td>active</td>
            <td>seL4 Foundation</td>
        </tr>
        <tr>
            <td>libfdtgen</td>
            <td>A library for generating flattened device trees which can be passed to virtual machines.</td>
            <td>active</td>
            <td>seL4 Foundation</td>
        </tr>
        <tr>
            <td>libjansson</td>
            <td>The port of Jansson-2.7 to seL4 and the seL4 project build system.</td>
            <td>inactive</td>
            <td>seL4 Foundation</td>
        </tr>
        <tr>
            <td>libmsgpack</td>
            <td>An seL4 build system wrapper to build msgpack-c, a library for dealing with MessagePack data.</td>
            <td>inactive</td>
            <td>seL4 Foundation</td>
        </tr>
        <tr>
            <td>libnfs</td>
            <td>A wrapper for supporting project build for a given network file system implementation.</td>
            <td>inactive</td>
            <td>seL4 Foundation</td>
        </tr>
        <tr>
            <td>libplatsupportports</td>
            <td>A collection of drivers proted from GPL-based sources such as U-Boot and Linux.</td>
            <td>active</td>
            <td>seL4 Foundation</td>
        </tr>
        <tr>
            <td>libringbuffer</td>
            <td>A library of the ring buffer implementation.</td>
            <td>inactive</td>
            <td>seL4 Foundation</td>
        </tr>
        <tr>
            <td>libsdhcdrivers</td>
            <td>A library of the SD card driver.</td>
            <td>inactive</td>
            <td>seL4 Foundation</td>
        </tr>
        <tr>
            <td>libtx2bpmp</td>
            <td>A port of the Tegra186 Boot and Power Management Processor (BPMP) interfaces from U-Boot to seL4.</td>
            <td>active</td>
            <td>seL4 Foundation</td>
        </tr>
        <tr>
            <td>libusbdrivers</td>
            <td>A USB driver.</td>
            <td>inactive</td>
            <td>seL4 Foundation</td>
        </tr>
        <tr>
            <td>libvirtqueue</td>
            <td>A library implementation of a virtqueue inspired from the virtio specification.</td>
            <td>active</td>
            <td>seL4 Foundation</td>
        </tr>
        <tr>
            <td>libvswitch</td>
            <td>A library implementation of a vswitch, which is designed for providing an interface to manage and route data between components identified by a MAC address.</td>
            <td>active</td>
            <td>seL4 Foundation</td>
        </tr>
        <tr>
            <td>libsel4allocman</td>
            <td>An allocator for managing virtual memory, malloc memory and cspaces.</td>
            <td>active</td>
            <td>seL4 Foundation</td>
        </tr>
        <tr>
            <td>libsel4bench</td>
            <td>A library of benchmarking utilities on seL4, such as logging and PMU event counters.</td>
            <td>active</td>
            <td>seL4 Foundation</td>
        </tr>
        <tr>
            <td>libsel4debug</td>
            <td>A library for debugging userspace applications on seL4.</td>
            <td>active</td>
            <td>seL4 Foundation</td>
        </tr>
        <tr>
            <td>libsel4muslcsys</td>
            <td>A library of minimal muslc syscall implementation for seL4.</td>
            <td>active</td>
            <td>seL4 Foundation</td>
        </tr>
        <tr>
            <td>libsel4platsupport</td>
            <td>A wrapper around libplatsupport specificially for seL4.</td>
            <td>active</td>
            <td>seL4 Foundation</td>
        </tr>
        <tr>
            <td>libsel4serialserver</td>
            <td>A library for creating serial servers. A server thread is able to connect to a serial device and act as a multiplexer for writes.</td>
            <td>active</td>
            <td>seL4 Foundation</td>
        </tr>
        <tr>
            <td>libsel4simple</td>
            <td>An interface which abstracts over the boot environment of a seL4 application.</td>
            <td>active</td>
            <td>seL4 Foundation</td>
        </tr>
        <tr>
            <td>libsel4simple-default</td>
            <td>An implementation of libsel4simple for the master branch of the seL4 kernel.</td>
            <td>active</td>
            <td>seL4 Foundation</td>
        </tr>
        <tr>
            <td>libsel4sync</td>
            <td>A synchronisation library that uses notifications to construct basic locks.</td>
            <td>active</td>
            <td>seL4 Foundation</td>
        </tr>
        <tr>
            <td>libsel4test</td>
            <td>A library for running tests and generating test output in either human readable or xml format.</td>
            <td>active</td>
            <td>seL4 Foundation</td>
        </tr>
        <tr>
            <td>libsel4utils</td>
            <td>A library of OS-like utilities for building benchmarks and applications on seL4.</td>
            <td>active</td>
            <td>seL4 Foundation</td>
        </tr>
        <tr>
            <td>libsel4vka</td>
            <td>An allocation interface for seL4.</td>
            <td>active</td>
            <td>seL4 Foundation</td>
        </tr>
        <tr>
            <td>libsel4vspace</td>
            <td>A virtual memory management interface for seL4. </td>
            <td>active</td>
            <td>seL4 Foundation</td>
        </tr>
        <tr>
            <td>libsel4bga</td>
            <td>A basic driver for the Bochs Graphics Adaptor, currently only supports the x86 IA32 architecture.</td>
            <td>inactive</td>
            <td>seL4 Foundation</td>
        </tr>
        <tr>
            <td>libsel4dma</td>
            <td>An allocator for managing DMA memory.</td>
            <td>active</td>
            <td>seL4 Foundation</td>
        </tr>
        <tr>
            <td>libsel4keyboard</td>
            <td>A basic keyboard driver.</td>
            <td>active</td>
            <td>seL4 Foundation</td>
        </tr>
        <tr>
            <td>libsel4nanopb</td>
            <td>An interface between seL4 IPC buffers and nanopb. Nanopb is a small code-size Protocol Buffers implementation in ANSI C.</td>
            <td>active</td>
            <td>seL4 Foundation</td>
        </tr>
        <tr>
            <td>libsel4rpc</td>
            <td>A library for allocating resources over process boundaries. It defines a Protocol Buffer protocol, and contains wrappers for processing RPC messages used by servers.</td>
            <td>active</td>
            <td>seL4 Foundation</td>
        </tr>
        <tr>
            <td>libsel4vchan</td>
            <td>A vchan implementation on seL4, which provides communication channels between virtual machines.</td>
            <td>inactive</td>
            <td>seL4 Foundation</td>
        </tr>
    </tbody>
</table>

<h2 id="camkes-reusable-components">Camkes reusable components</h2>

<table>
    <thead>
        <tr>
            <th>Components</th>
            <th>Description</th>
            <th>Status</th>
            <th>Maintained by</th>
        </tr>
    </thead>
    <tbody>
        <tr>
            <td>ClockServer</td>
            <td>A CAmkES component which abstracts over and multiplexes client accesses to clock devices on a platform.</td>
            <td>Supported</td>
            <td>maintainer wanted</td>
        </tr>
        <tr>
            <td>Ethdriver</td>
            <td>A CAmkES component which abstracts over and multiplexes client accesses to an Ethernet device.</td>
            <td>Supported</td>
            <td>maintainer wanted</td>
        </tr>
        <tr>
            <td>FileServer</td>
            <td>A CAmkES component which abstracts over and multiplexes client accesses to a CPIO-based file system.</td>
            <td>Supported</td>
            <td>maintainer wanted</td>
        </tr>
        <tr>
            <td>GPIOMUXServer</td>
            <td>A CAmkES component which abstracts over and multiplexes client accesses to a GPIO and pin multiplexer controller.</td>
            <td>Supported</td>
            <td>maintainer wanted</td>
        </tr>
        <tr>
            <td>PCIConfigIO</td>
            <td>A CAmkES component which abstracts over and multiplexes client accesses to the PCI configuration space of a platform.</td>
            <td>Supported</td>
            <td>maintainer wanted</td>
        </tr>
        <tr>
            <td>PicoServer</td>
            <td>A CAmkES component which abstracts over and multiplexes client accesses to an IP stack, specifically, the PicoTCP TCP/IP stack.</td>
            <td>Supported</td>
            <td>maintainer wanted</td>
        </tr>
        <tr>
            <td>ResetServer</td>
            <td>A CAmkES component which abstracts over and multiplexes client accesses to a reset line controller.</td>
            <td>Supported</td>
            <td>maintainer wanted</td>
        </tr>
        <tr>
            <td>RTC</td>
            <td>A CAmkES component which abstracts over and multiplexes client accesses to a real-time clock device.</td>
            <td>Supported</td>
            <td>maintainer wanted</td>
        </tr>
        <tr>
            <td>SerialServer</td>
            <td>A CAmkES component which abstracts over and multiplexes client accesses to a serial device.</td>
            <td>Supported</td>
            <td>maintainer wanted</td>
        </tr>
        <tr>
            <td>TimeServer</td>
            <td>A CAmkES component which abstracts over and multiplexes client accesses to a timer device.</td>
            <td>Supported</td>
            <td>maintainer wanted</td>
        </tr>
        <tr>
            <td>VirtQueue</td>
            <td>A stub CAmkES component which is used to help initialise virtqueue connections.</td>
            <td>Supported</td>
            <td>maintainer wanted</td>
        </tr>
        <tr>
            <td>Serial</td>
            <td>Stub hardware CAmkES component that abstracts over a pc99-based serial device.</td>
            <td>Supported</td>
            <td>maintainer wanted</td>
        </tr>
        <tr>
            <td>PIT</td>
            <td>Stub hardware CAmkES component that abstracts over the x86 Programmable Interval Timer.</td>
            <td>Supported</td>
            <td>maintainer wanted</td>
        </tr>
    </tbody>
</table>

<h2 id="device-drivers">Device drivers</h2>

<h4 id="serial">Serial</h4>

<table>
    <thead>
        <tr>
            <th>Components</th>
            <th>Description</th>
            <th>Status</th>
            <th>Maintained by</th>
        </tr>
    </thead>
    <tbody>
        <tr>
            <td>plat/rockpro64/serial.c</td>
            <td>rockchip,rk3399-uart driver</td>
            <td>Supported on rockpro64 platform</td>
            <td>seL4 Foundation</td>
        </tr>
        <tr>
            <td>plat/bcm2837/serial.c</td>
            <td>rpi3 brcm,bcm2835-aux-uart UART driver</td>
            <td>Supported on rpi3 platform</td>
            <td>seL4 Foundation</td>
        </tr>
        <tr>
            <td>plat/odroidc2/serial.c</td>
            <td>odroidc2 amlogic,meson-gx-uart uart driver</td>
            <td>Supported on odroidc2 platform</td>
            <td>seL4 Foundation</td>
        </tr>
        <tr>
            <td>plat/am335x/serial.c</td>
            <td>am335x ti,am3352-uart serial driver</td>
            <td>Supported on am335x platforms.</td>
            <td>seL4 Foundation</td>
        </tr>
        <tr>
            <td>plat/imx31/serial.c</td>
            <td>i.MX31 fsl,imx31-uart serial driver</td>
            <td>Supported on kzm platform.</td>
            <td>seL4 Foundation</td>
        </tr>
        <tr>
            <td>plat/fvp/serial.c</td>
            <td>fvp arm,pl011 serial driver</td>
            <td>This driver is a copy-paste from the pl011 driver for the hikey platform. They should be merged.</td>
            <td>seL4 Foundation</td>
        </tr>
        <tr>
            <td>plat/hikey/serial.c</td>
            <td>hikey arm,pl011 Serial driver</td>
            <td>Supported on Hikey platform. Could likely be made available for any platform.</td>
            <td>seL4 Foundation</td>
        </tr>
        <tr>
            <td>plat/qemu-arm-virt/serial.c</td>
            <td>qemu-arm-virt arm,pl011 serial driver</td>
            <td>This driver is a copy-paste from the pl011 driver for the hikey platform. They should be merged.</td>
            <td>seL4 Foundation</td>
        </tr>
        <tr>
            <td>plat/apq8064/serial.c</td>
            <td>apq8064 qcom,gsbi-v1.0.0 serial driver</td>
            <td>Supported on apq8064 platform. (Platform is currently unmaintained)</td>
            <td>seL4 Foundation</td>
        </tr>
        <tr>
            <td>plat/hifive/uart.c</td>
            <td>hifive sifive,uart0 UART serial driver</td>
            <td>Supported on hifive platform</td>
            <td>seL4 Foundation</td>
        </tr>
        <tr>
            <td>plat/pc99/serial.c</td>
            <td>UART serial driver for the serial devices on the pc99 platform</td>
            <td>Supported on pc99 platform</td>
            <td>seL4 Foundation</td>
        </tr>
        <tr>
            <td>plat/pc99/ega.c</td>
            <td>EGA driver for the EGA (Enhanced Graphics Adapter) device on the pc99 platform</td>
            <td>Supported on pc99 platform</td>
            <td>seL4 Foundation</td>
        </tr>
        <tr>
            <td>plat/omap3/serial.c</td>
            <td>omap3 ti,omap3-uart UART serial driver</td>
            <td>Supported on omap3 platform</td>
            <td>seL4 Foundation</td>
        </tr>
        <tr>
            <td>plat/rocketchip/serial.c</td>
            <td>Empty driver implementation for the serial device on the rocketchip platform.</td>
            <td>Non-functional skeleton implementation, supported on rocketchip platform</td>
            <td>seL4 Foundation</td>
        </tr>
        <tr>
            <td>plat/rocketchip/chardev.c</td>
            <td>Empty chardev implementation for the rocketchip platform.</td>
            <td>Non-functional skeleton implementation, supported on rocketchip platform</td>
            <td>seL4 Foundation</td>
        </tr>
        <tr>
            <td>mach/imx/serial/serial.c</td>
            <td>UART serial drivers for the UART devices in the i.MX SoCs</td>
            <td>Supported on i.MX SoCs</td>
            <td>seL4 Foundation</td>
        </tr>
        <tr>
            <td>mach/exynos/serial.c</td>
            <td>UART serial driver for the UART devices in the Exynos SoCs</td>
            <td>Supported on Exynos SoCs</td>
            <td>seL4 Foundation</td>
        </tr>
        <tr>
            <td>mach/zynq/serial.c</td>
            <td>UART serial drivers for the UART devices in the ZYNQ SoCs</td>
            <td>Supported on ZYNQ SoCs</td>
            <td>seL4 Foundation</td>
        </tr>
        <tr>
            <td>mach/zynq/axi_uartlite.c</td>
            <td>UART serial driver to the AXI UART lite device on ZYNQ SoCs</td>
            <td>Suppored on ZYNQ SoCs</td>
            <td>seL4 Foundation</td>
        </tr>
        <tr>
            <td>mach/nvidia/serial.c</td>
            <td>Serial drivers for the UART serial devices on the NVIDIA SoCs</td>
            <td>Supported on the NVIDIA SoCs</td>
            <td>seL4 Foundation</td>
        </tr>
    </tbody>
</table>

<h4 id="timer">Timer</h4>

<table>
    <thead>
        <tr>
            <th>Components</th>
            <th>Description</th>
            <th>Status</th>
            <th>Maintained by</th>
        </tr>
    </thead>
    <tbody>
        <tr>
            <td>arch/arm/generic_timer.c</td>
            <td>Arm generic timer driver. Should be used for debugging or development configurations only as register access is global.</td>
            <td>Requires configuring seL4 to make the Physical timer registers available to user level.</td>
            <td>seL4 Foundation</td>
        </tr>
        <tr>
            <td>plat/rockpro64/timer.c</td>
            <td>rockchip,rk3399-timer driver</td>
            <td>Supported on rockpro64 platform</td>
            <td>seL4 Foundation</td>
        </tr>
        <tr>
            <td>plat/bcm2837/spt.c</td>
            <td>rpi3 spt timer driver. The timer is based on a SP804 timer with some modifications.</td>
            <td>Supported on rpi3 platform</td>
            <td>seL4 Foundation</td>
        </tr>
        <tr>
            <td>plat/bcm2837/system_timer.c</td>
            <td>rpi3 system timer driver.</td>
            <td>Supported on rpi3 platform</td>
            <td>seL4 Foundation</td>
        </tr>
        <tr>
            <td>plat/odroidc2/meson_timer.c</td>
            <td>odroidc2 meson timer implementation</td>
            <td>Supported on odroidc2 platform</td>
            <td>seL4 Foundation</td>
        </tr>
        <tr>
            <td>plat/am335x/timer.c</td>
            <td>am335x ti,am335x-timer driver for DMTimer</td>
            <td>Supported on am335x platforms.</td>
            <td>seL4 Foundation</td>
        </tr>
        <tr>
            <td>plat/fvp/sp804.c</td>
            <td>fvp arm,sp804 timer driver</td>
            <td>This driver is a copy-paste from the sp804 driver for the hikey platform. They should be merged.</td>
            <td>seL4 Foundation</td>
        </tr>
        <tr>
            <td>plat/hikey/rtc.c</td>
            <td>hikey arm,pl031 RTC driver</td>
            <td>Supported on Hikey platform. Could likely be made available for any platform.</td>
            <td>seL4 Foundation</td>
        </tr>
        <tr>
            <td>plat/hikey/dmt.c</td>
            <td>hikey arm,sp804 timer driver</td>
            <td>Supported on Hikey platform. Could likely be made available for any platform.</td>
            <td>seL4 Foundation</td>
        </tr>
        <tr>
            <td>plat/apq8064/timer.c</td>
            <td>apq8064 timer driver</td>
            <td>Supported on apq8064 platform. (Platform is currently unmaintained)</td>
            <td>seL4 Foundation</td>
        </tr>
        <tr>
            <td>plat/hifive/pwm.c</td>
            <td>hifive sifive,pwm0 timer driver</td>
            <td>Supported on hifive platform</td>
            <td>seL4 Foundation</td>
        </tr>
        <tr>
            <td>plat/pc99/pit.c</td>
            <td>PIT driver for the PIT (Programmable Interval Timer) on the pc99 platform</td>
            <td>active</td>
            <td>seL4 Foundation</td>
        </tr>
        <tr>
            <td>plat/pc99/rtc.c</td>
            <td>RTC driver for the RTC on the pc99 platform</td>
            <td>Supported on pc99 platform</td>
            <td>seL4 Foundation</td>
        </tr>
        <tr>
            <td>plat/pc99/hpet.c</td>
            <td>HPET driver for the HPET (High Precision Event Timer) device on the pc99 platform</td>
            <td>Supported on pc99 platform</td>
            <td>seL4 Foundation</td>
        </tr>
        <tr>
            <td>mach/omap/gpt.c</td>
            <td>GPT driver for the GPT timers in the OMAP SoCs</td>
            <td>Supported on OMAP SoCs</td>
            <td>seL4 Foundation</td>
        </tr>
        <tr>
            <td>mach/imx/epit/epit.c</td>
            <td>EPIT driver for the EPIT timers in the i.MX SoCs</td>
            <td>Supported on i.MX SoCs</td>
            <td>seL4 Foundation</td>
        </tr>
        <tr>
            <td>mach/imx/gpt.c</td>
            <td>GPT driver for the GPT timers in the i.MX SoCs</td>
            <td>Supported on i.MX SoCs</td>
            <td>seL4 Foundation</td>
        </tr>
        <tr>
            <td>mach/exynos/clock/exynos_common_clock.c</td>
            <td>Exynos platform-common functions to manipulate the clock device in the Exynos SoCs</td>
            <td>Supported on Exynos SoCs</td>
            <td>seL4 Foundation</td>
        </tr>
        <tr>
            <td>mach/exynos/clock/exynos_5422_clock.c</td>
            <td>Exynos5422 platform-specific functions to manipulate the clock device in the Exynos5422 SoC</td>
            <td>Supported on Exynos SoCs</td>
            <td>seL4 Foundation</td>
        </tr>
        <tr>
            <td>mach/exynos/clock.h</td>
            <td>Clock subsystem driver for the clock controller in the Exynos SoCs</td>
            <td>Supported on Exynos SoCs</td>
            <td>seL4 Foundation</td>
        </tr>
        <tr>
            <td>mach/exynos/pwm.c</td>
            <td>PWM drivers for the PWM timers in the Exynos SoCs</td>
            <td>Supported on Exynos SoCs</td>
            <td>seL4 Foundation</td>
        </tr>
        <tr>
            <td>mach/zynq/timer.c</td>
            <td>TTC driver for the TTC timers in the ZYNQ SoCs</td>
            <td>Supported on ZYNQ SoCs</td>
            <td>seL4 Foundation</td>
        </tr>
        <tr>
            <td>mach/nvidia/timer.c</td>
            <td>Timer drivers for the timers on the NVIDIA SoCs</td>
            <td>Supported on the NVIDIA SoCs</td>
            <td>seL4 Foundation</td>
        </tr>
    </tbody>
</table>

<h4 id="clock">Clock</h4>

<table>
    <thead>
        <tr>
            <th>Components</th>
            <th>Description</th>
            <th>Status</th>
            <th>Maintained by</th>
        </tr>
    </thead>
    <tbody>
        <tr>
            <td>plat/zynq7000/clock.c</td>
            <td>zynq7000 clock subsystem driver</td>
            <td>Supported on zynq7000 platform.</td>
            <td>seL4 Foundation</td>
        </tr>
        <tr>
            <td>plat/exynos5/clock.c</td>
            <td>exynos5 clock subsystem driver</td>
            <td>Supported on exynos5 platform.</td>
            <td>seL4 Foundation</td>
        </tr>
        <tr>
            <td>plat/tk1/clock.c</td>
            <td>tk1 nvidia,tegra124-car clock subsystem driver</td>
            <td>Supported on tk1 platform.</td>
            <td>seL4 Foundation</td>
        </tr>
        <tr>
            <td>plat/exynos4/clock.c</td>
            <td>exynos4 clock subsystem driver</td>
            <td>Supported on exynos4 platform.</td>
            <td>seL4 Foundation</td>
        </tr>
        <tr>
            <td>plat/apq8064/clock.c</td>
            <td>apq8064 qcom,gcc-apq8064 clock subsystem driver</td>
            <td>Supported on apq8064 platform. (Platform is currently unmaintained)</td>
            <td>seL4 Foundation</td>
        </tr>
        <tr>
            <td>plat/omap3/clock.c</td>
            <td>omap3 ti,omap3-cm clock controller driver</td>
            <td>Non-functional skeleton implementation, supported on omap3 platform</td>
            <td>seL4 Foundation</td>
        </tr>
        <tr>
            <td>plat/imx6/clock.c</td>
            <td>i.MX6 fsl,imx6q-ccm clock subsystem driver</td>
            <td>Supported on sabre platform</td>
            <td>seL4 Foundation</td>
        </tr>
        <tr>
            <td>src/plat/tx2/clock_bindings.c</td>
            <td>libplatsupport clock ID to TX2 BPMP clock ID bindings</td>
            <td>Supported on tx2 platform</td>
            <td>seL4 Foundation</td>
        </tr>
        <tr>
            <td>src/plat/tx2/clock_bindings.c</td>
            <td>Clock driver for the TX2 CAR (Clock And Reset) controller which relies on libtx2bpmp</td>
            <td>Supported on the tx2 platform</td>
            <td>seL4 Foundation</td>
        </tr>
    </tbody>
</table>

<h4 id="i2c">I2C</h4>

<table>
    <thead>
        <tr>
            <th>Components</th>
            <th>Description</th>
            <th>Status</th>
            <th>Maintained by</th>
        </tr>
    </thead>
    <tbody>
        <tr>
            <td>arch/arm/i2c_bitbang.c</td>
            <td>Transforms a GPIO interface into an I2C bitbang interface</td>
            <td>Currently used by libusbdrivers (but libusbdrivers itself isn't heavily used)</td>
            <td>seL4 Foundation</td>
        </tr>
        <tr>
            <td>plat/am335x/i2c.c</td>
            <td>am335x ti,omap4-i2c driver for I2C.</td>
            <td>Supported on am335x platforms.</td>
            <td>seL4 Foundation</td>
        </tr>
        <tr>
            <td>plat/tk1/i2c.c</td>
            <td>tk1 nvidia,tegra124-i2c I2C driver</td>
            <td>Supported on tk1 platform</td>
            <td>seL4 Foundation</td>
        </tr>
        <tr>
            <td>plat/imx6/i2c.c</td>
            <td>i.MX6 fsl,imx6q-i2c driver I2C</td>
            <td>Supported on sabre platform</td>
            <td>seL4 Foundation</td>
        </tr>
        <tr>
            <td>mach/exynos/i2c.c</td>
            <td>I2C driver for the I2C devices in the Exynos SoCs</td>
            <td>Supported on the Exynos SoCs</td>
            <td>seL4 Foundation</td>
        </tr>
    </tbody>
</table>

<h4 id="pinmux">Pinmux</h4>

<table>
    <thead>
        <tr>
            <th>Components</th>
            <th>Description</th>
            <th>Status</th>
            <th>Maintained by</th>
        </tr>
    </thead>
    <tbody>
        <tr>
            <td>plat/tk1/mux.c</td>
            <td>tk1 nvidia,tegra124-pinmux pinmux driver</td>
            <td>Supported on tk1 platform</td>
            <td>seL4 Foundation</td>
        </tr>
        <tr>
            <td>plat/omap3/mux.c</td>
            <td>omap3 ti,omap3-padconf pin controller driver</td>
            <td>Non-functional skeleton implementation, supported on omap3 platform</td>
            <td>seL4 Foundation</td>
        </tr>
        <tr>
            <td>plat/imx6/mux.c</td>
            <td>i.MX6 fsl,imx6q-iomuxc IO MUX driver</td>
            <td>Supported on sabre</td>
            <td>seL4 Foundation</td>
        </tr>
        <tr>
            <td>mach/exnyos4/mux.c</td>
            <td>Pinctrl configurations for the Exynos4xxx SoCs</td>
            <td>Supported on the Exynos4xxx SoCs</td>
            <td>seL4 Foundation</td>
        </tr>
        <tr>
            <td>mach/exynos5/mux.c</td>
            <td>Pinctrl configurations for the Exynos5xxx SoCs</td>
            <td>Supported on the Exynos5xxx SoCs</td>
            <td>seL4 Foundation</td>
        </tr>
        <tr>
            <td>mach/exynos/mux.c</td>
            <td>Pinctrl driver for the pinctrl device in the Exynos SoCs</td>
            <td>Supported on the Exynos SoCs</td>
            <td>seL4 Foundation</td>
        </tr>
        <tr>
            <td>mach/exynos/ltimer.c</td>
            <td>ltimer implementation for the Exynos platforms using the PWM timers</td>
            <td>Supported on the Exynos SoCs</td>
            <td>seL4 Foundation</td>
        </tr>
        <tr>
            <td>mach/zynq/mux.c</td>
            <td>Pinmux drivers for the pin controller in the ZYNQ SoCs</td>
            <td>Non-functional skeleton implementation, supported on ZYNQ SoCs</td>
            <td>seL4 Foundation</td>
        </tr>
        <tr>
            <td>src/plat/tx2/mux.c</td>
            <td>Pin controller driver for the TX2 MUX based off on NVIDIA's L4T implementation</td>
            <td>Supported on the tx2 platform</td>
            <td>seL4 Foundation</td>
        </tr>
    </tbody>
</table>

<h4 id="reset">Reset</h4>

<table>
    <thead>
        <tr>
            <th>Components</th>
            <th>Description</th>
            <th>Status</th>
            <th>Maintained by</th>
        </tr>
    </thead>
    <tbody>
        <tr>
            <td>plat/imx6/src.c</td>
            <td>i.MX6 fsl,imx6q-src reset controller driver</td>
            <td>Supported on sabre platform</td>
            <td>seL4 Foundation</td>
        </tr>
        <tr>
            <td>src/plat/tx2/reset_bindings.c</td>
            <td>libplatsupport reset ID to TX2 BPMP reset ID bindings</td>
            <td>Supported on the tx2 platform</td>
            <td>seL4 Foundation</td>
        </tr>
        <tr>
            <td>src/plat/tx2/reset.c</td>
            <td>Reset driver for the TX2 CAR (Clock And Reset) controller which relies on libtx2bpmp</td>
            <td>Supported on the tx2 platform</td>
            <td>seL4 Foundation</td>
        </tr>
    </tbody>
</table>

<h4 id="gpio">GPIO</h4>

<table>
    <thead>
        <tr>
            <th>Components</th>
            <th>Description</th>
            <th>Status</th>
            <th>Maintained by</th>
        </tr>
    </thead>
    <tbody>
        <tr>
            <td>plat/tk1/gpio.c</td>
            <td>tk1 nvidia,tegra124-gpio GPIO driver</td>
            <td>Supported on i2c platform.</td>
            <td>seL4 Foundation</td>
        </tr>
        <tr>
            <td>plat/imx6/gpio.c</td>
            <td>i.MX6 fsl,imx6q-gpio GPIO driver</td>
            <td>Supported on sabre platform</td>
            <td>seL4 Foundation</td>
        </tr>
        <tr>
            <td>src/plat/tx2/gpio.c</td>
            <td>GPIO driver for the TX2 GPIO controller based off on U-Boot's implementation</td>
            <td>Supported on the tx2 platform</td>
            <td>seL4 Foundation</td>
        </tr>
    </tbody>
</table>

<h4 id="ltimer">ltimer</h4>

<table>
    <thead>
        <tr>
            <th>Components</th>
            <th>Description</th>
            <th>Status</th>
            <th>Maintained by</th>
        </tr>
    </thead>
    <tbody>
        <tr>
            <td>arch/arm/generic_ltimer.c</td>
            <td>ltimer implementation for Arm generic timer physical timer. Should be used for debugging or development configurations only as register access is global</td>
            <td>Requires configuring seL4 to make the Physical timer registers available to user level.</td>
            <td>seL4 Foundation</td>
        </tr>
        <tr>
            <td>local_time_manager.c</td>
            <td>Uses an ltimer to provide timeout multiplexing across several clients</td>
            <td>Requires ltimer implementation for the target platform.</td>
            <td>seL4 Foundation</td>
        </tr>
        <tr>
            <td>plat/rockpro64/ltimer.c</td>
            <td>rockpro64 ltimer implementation using 2 rk3399-timers</td>
            <td>Supported on rockpro64 platform</td>
            <td>seL4 Foundation</td>
        </tr>
        <tr>
            <td>plat/bcm2837/ltimer.c</td>
            <td>rpi3 ltimer implementation using the system timer and spt timer</td>
            <td>Supported on rpi3 platform</td>
            <td>seL4 Foundation</td>
        </tr>
        <tr>
            <td>plat/odroidc2/ltimer.c</td>
            <td>odroidc2 ltimer implementation using the meson timer</td>
            <td>Supported on odroidc2 platform</td>
            <td>seL4 Foundation</td>
        </tr>
        <tr>
            <td>plat/am335x/ltimer.c</td>
            <td>am335x ltimer implementation using 2 DMTimers</td>
            <td>Supported on am335x platforms.</td>
            <td>seL4 Foundation</td>
        </tr>
        <tr>
            <td>plat/fvp/ltimer.c</td>
            <td>fvp ltimer implementation using 2 sp804 timers</td>
            <td>Supported on fvp platform.</td>
            <td>seL4 Foundation</td>
        </tr>
        <tr>
            <td>plat/hikey/ltimer.c</td>
            <td>hikey ltimer implementation using 2 sp804 timers</td>
            <td>Supported on hikey platform.</td>
            <td>seL4 Foundation</td>
        </tr>
        <tr>
            <td>plat/hifive/ltimer.c</td>
            <td>ltimer implementation for the hifive platform using two PWM timers</td>
            <td>Supported on hifive platform</td>
            <td>seL4 Foundation</td>
        </tr>
        <tr>
            <td>plat/pc99/ltimer.c</td>
            <td>ltimer implementation for the pc99 platform using either PIT or HPET timers</td>
            <td>Supported on pc99 platform</td>
            <td>seL4 Foundation</td>
        </tr>
        <tr>
            <td>mach/imx/ltimer.c</td>
            <td>ltimer implementation for the i.MX platforms using a combination of GPT and EPIT timers</td>
            <td>Supported on i.MX SoCs</td>
            <td>seL4 Foundation</td>
        </tr>
        <tr>
            <td>mach/zynq/ltimer.c</td>
            <td>ltimer implementation for the ZYNQ platforms using TTC timers</td>
            <td>Supported on ZYNQ SoCs</td>
            <td>seL4 Foundation</td>
        </tr>
        <tr>
            <td>mach/nvidia/ltimer.c</td>
            <td>ltimer implementation for the NVIDIA platforms using the NVIDIA timers</td>
            <td>Supported on the NVIDIA SoCs</td>
            <td>seL4 Foundation</td>
        </tr>
    </tbody>
</table>

<h4 id="ethernet">ethernet</h4>

<table>
    <thead>
        <tr>
            <th>Components</th>
            <th>Description</th>
            <th>Status</th>
            <th>Maintained by</th>
        </tr>
    </thead>
    <tbody>
        <tr>
            <td>src/pico_dev_eth.c</td>
            <td>Ethernet device interface to connect with the PicoTCP TCP/IP stack</td>
            <td>Supported</td>
            <td>seL4 Foundation</td>
        </tr>
        <tr>
            <td>src/lwip.c</td>
            <td>Ethernet device interface to connect with the lwIP TCP/IP stack</td>
            <td>Deprecated in favour of the PicoTCP Ethernet device interface</td>
            <td>seL4 Foundation</td>
        </tr>
        <tr>
            <td>src/plat/am335x/*</td>
            <td>Ethernet driver for the am335x platform</td>
            <td>Bitrotted, based off the lwIP stack</td>
            <td>seL4 Foundation</td>
        </tr>
        <tr>
            <td>src/plat/imx6/*</td>
            <td>Ethernet driver for the i.MX6 platform based off on U-Boot's implementation</td>
            <td>Supported on the sabre platform</td>
            <td>seL4 Foundation</td>
        </tr>
        <tr>
            <td>src/plat/pc99/*</td>
            <td>Ethernet driver for the e1000 Ethernet devices</td>
            <td>Supported on pc99 platform</td>
            <td>seL4 Foundation</td>
        </tr>
        <tr>
            <td>src/plat/tx2/*</td>
            <td>Ethernet driver for the TX2 platform based off on U-Boot's implementation</td>
            <td>Supported on the tx2 platform</td>
            <td>seL4 Foundation</td>
        </tr>
        <tr>
            <td>src/plat/zynq700/*</td>
            <td>Ethernet driver for the zynq7000 platform based off on U-Boot's implementation</td>
            <td>Supported on the zynq7000 platform</td>
            <td>Dornerworks</td>
        </tr>
    </tbody>
</table>

<h4 id="other">Other</h4>

<table>
    <thead>
        <tr>
            <th>Components</th>
            <th>Description</th>
            <th>Status</th>
            <th>Maintained by</th>
        </tr>
    </thead>
    <tbody>
        <tr>
            <td>arch/x86/delay.c</td>
            <td>x86 busy wait delay driver by spinning on tsc value</td>
            <td>Supported on x86 but currently unused by anything.</td>
            <td>seL4 Foundation</td>
        </tr>
        <tr>
            <td>arch/x86/tsc.c</td>
            <td>Calculates tsc frequency using HPET or PIT</td>
            <td>Supported on x86. It may be better to use the tsc_freq Bootinfo field that seL4 provides.</td>
            <td>seL4 Foundation</td>
        </tr>
        <tr>
            <td>arch/arm/delay.c</td>
            <td>arm busy wait delay driver by repeatedly performing no-op instructions</td>
            <td>Supported on arm but currently relies on each instruction taking a constant amount of time</td>
            <td>seL4 Foundation</td>
        </tr>
        <tr>
            <td>arch/arm/dma330.c</td>
            <td>ARM PL-330 (DMA-330) DMA controller</td>
            <td>Unused currently</td>
            <td>seL4 Foundation</td>
        </tr>
        <tr>
            <td>plat/zynq7000/devcfg.c</td>
            <td>devcfg (Device configuration Interface) zynq7000 driver</td>
            <td>Supported only for zynq7000 platform. Only functionality is mapping registers and providing a reference.</td>
            <td>seL4 Foundation</td>
        </tr>
        <tr>
            <td>plat/zynq7000/tmu.c</td>
            <td>Temperature sensor driver for zynq7000 tmu.</td>
            <td>Supported on zynq7000 platform.</td>
            <td>seL4 Foundation</td>
        </tr>
        <tr>
            <td>plat/zynq7000/xadc.c</td>
            <td>zynq7000 XADC driver</td>
            <td>Supported on zynq7000 platform. Currently only used to read values from a temperature monitoring unit.</td>
            <td>seL4 Foundation</td>
        </tr>
        <tr>
            <td>plat/zynq7000/src.c</td>
            <td>zynq7000 System Level Control Registers driver</td>
            <td>Supported on zynq7000 platform. Currently used to unlock clock and reset registers only.</td>
            <td>seL4 Foundation</td>
        </tr>
        <tr>
            <td>plat/exynos5/sysreg.c</td>
            <td>exynos5 samsung,exynos5-sysreg system control driver</td>
            <td>Supported on exynos5 platforms. Currently can only be used to enable power for USB PHYs.</td>
            <td>seL4 Foundation</td>
        </tr>
        <tr>
            <td>plat/tk1/spi.c</td>
            <td>tk1 nvidia,tegra124-spi SPI driver</td>
            <td>Supported on tk1 platform.</td>
            <td>seL4 Foundation</td>
        </tr>
        <tr>
            <td>plat/exynos4/src.c</td>
            <td>exynos4 samsung,exynos4-sysreg system control driver</td>
            <td>Supported on exynos4 platforms. Currently can only be used to enable power for USB PHYs.</td>
            <td>seL4 Foundation</td>
        </tr>
        <tr>
            <td>mach/omap/ltimer.c</td>
            <td>ltimer implementation for the OMAP platforms using GPT timers</td>
            <td>Supported on OMAP SoCs</td>
            <td>seL4 Foundation</td>
        </tr>
        <tr>
            <td>mach/exynos/tmu.c</td>
            <td>TMU driver for the TMU (Thermal Management Unit) device in the Exynos SoCs</td>
            <td>Supported on Exynos SoCs</td>
            <td>seL4 Foundation</td>
        </tr>
        <tr>
            <td>mach/exynos/pmic.c</td>
            <td>PMIC driver for the PMIC (Power Management IC) device in the Exynos SoCs</td>
            <td>Supported on the Exynos SoCs</td>
            <td>seL4 Foundation</td>
        </tr>
        <tr>
            <td>mach/exynos/pmic_rtc.c</td>
            <td>RTC driver for the RTC located inside the PMIC device in the Exynos SoCs</td>
            <td>Supported on the Exynos SoCs</td>
            <td>seL4 Foundation</td>
        </tr>
        <tr>
            <td>mach/exnyos/irq_combiner.c</td>
            <td>IRQ combiner driver for the IRQ combiner device in the Exynos SoCs</td>
            <td>Supported on the Exynos SoCs</td>
            <td>seL4 Foundation</td>
        </tr>
        <tr>
            <td>src/helpers.c</td>
            <td>Helper functions for the Ethernet drivers in libethdrivers</td>
            <td>Supported</td>
            <td>seL4 Foundation</td>
        </tr>
        <tr>
            <td>src/bpmp.c</td>
            <td>BPMP driver for the BPMP (Boot and Power Management Processor) co-processor on the TX2 based off on U-Boot's implementation</td>
            <td>Supported on the tx2 platform</td>
            <td>seL4 Foundation</td>
        </tr>
        <tr>
            <td>src/hsp.c</td>
            <td>HSP driver for the HSP (Hardware Synchronisation Primitives) module on the TX2</td>
            <td>Supported on the tx2 platform</td>
            <td>seL4 Foundation</td>
        </tr>
        <tr>
            <td>src/ivc.c</td>
            <td>IVC implementation for the IVC (Inter-VM Communication) protocol used for communicating with the BPMP</td>
            <td>Supported on the tx2 platform</td>
            <td>seL4 Foundation</td>
        </tr>
    </tbody>
</table>


  </div>

  
<div class="sidebar-toc hidden-xs hidden-sm col-md-3 col-lg-3">
    <ul id="toc" class="section-nav">
<li class="toc-entry toc-h2"><a href="#native-component-libraries">Native component libraries</a></li>
<li class="toc-entry toc-h2"><a href="#camkes-reusable-components">Camkes reusable components</a></li>
<li class="toc-entry toc-h2"><a href="#device-drivers">Device drivers</a>
<ul>
<li class="toc-entry toc-h4"><a href="#serial">Serial</a></li>
<li class="toc-entry toc-h4"><a href="#timer">Timer</a></li>
<li class="toc-entry toc-h4"><a href="#clock">Clock</a></li>
<li class="toc-entry toc-h4"><a href="#i2c">I2C</a></li>
<li class="toc-entry toc-h4"><a href="#pinmux">Pinmux</a></li>
<li class="toc-entry toc-h4"><a href="#reset">Reset</a></li>
<li class="toc-entry toc-h4"><a href="#gpio">GPIO</a></li>
<li class="toc-entry toc-h4"><a href="#ltimer">ltimer</a></li>
<li class="toc-entry toc-h4"><a href="#ethernet">ethernet</a></li>
<li class="toc-entry toc-h4"><a href="#other">Other</a></li>
</ul>
</li>
</ul>
</div>

</div>

    </main>
    


<footer class="site-footer">

  <h2 class="footer-heading">seL4 docs</h2>

  <div class="footer-col-wrapper">

    <div class="col-md-2">
      



<ul class="social-media-list">
  <li><a href="https://github.com/sel4"><i class="fab fa-github"></i> <span class="username">sel4</span></a></li><li><a href="https://github.com/sel4proj"><i class="fab fa-github"></i> <span class="username">sel4proj</span></a></li>
</ul>

    </div>

    <div class="col-md-8">
      <ul class="list-unstyled">
        <li>
          This site is for displaying seL4 related documentation.  Pull requests are welcome.
        </li>
        
          <li>
            Site last updated: Fri Feb 7 10:17:38 2025 +1100 ee78c8857c
          </li>
          <li>
                Page last updated: Mon Nov 30 09:25:37 2020 +1100 977ed44f17
          </li>
        
      </ul>
    </div>
    <div class="col-md-2">
<a href="https://github.com/seL4/docs/blob/master/projects/available-user-components.md">View page on GitHub</a>
      <br />
      <a href="https://github.com/seL4/docs/edit/master/projects/available-user-components.md">Edit page on GitHub</a>
      <br />
      <a href="/sitemap">Sitemap</a>
    </div>

  </div>

</footer>

  </body>
</html>
